- Grundlagenstreit (der)
- crise des fondements [philosophie des mathématiques]
Lexique philosophique allemand-français. D. Seron. 2004.
Grundlagenstreit (der)
Regardez d'autres dictionnaires:
Grundlagenstreit der Mathematik — Die Grundlagenkrise der Mathematik war eine Phase der Verunsicherung der mathematischen Öffentlichkeit zu Beginn des 20. Jahrhunderts, die mit der Publikation der Russellschen Antinomie 1903 begann und um das Jahr 1930 endete. In den 20er Jahren… … Deutsch Wikipedia
Grundlagenstreit — Grundlagenstreit, die seit etwa 1910 andauernde Auseinandersetzung über die Grundlagen der Mathematik, insbesondere über den Status der Mengenlehre und des Prinzips vom ausgeschlossenen Dritten. Die wichtigsten Standpunkte im Grundlagenstreit… … Universal-Lexikon
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I — Der gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik. Er beschäftigt sich mit der Ableitbarkeit von Aussagen in formalen Theorien. Der Satz zeigt die Grenzen der formalen Systeme ab einer bestimmten Mächtigkeit… … Deutsch Wikipedia
Grundlagenkrise der Mathematik — Die Grundlagenkrise der Mathematik war eine Phase der Verunsicherung der mathematischen Öffentlichkeit zu Beginn des 20. Jahrhunderts, die mit der Publikation der Russellschen Antinomie 1903 begann und um das Jahr 1930 endete. In den 20er Jahren… … Deutsch Wikipedia
Grundlagen der Mathematik — Die Grundlagen der Mathematik sind einerseits Teil der Mathematik, andererseits bilden sie einen wichtigen Gegenstand erkenntnistheoretischer Reflexion, wenn diese sich mit den allgemeinen Grundlagen der menschlichen Erkenntnisgewinnung befasst.… … Deutsch Wikipedia
Konstruktivistische Mathematik — Der mathematische Konstruktivismus ist eine Richtung der Philosophie der Mathematik, die den Standpunkt vertritt, dass mathematische Aussagen keine Beschreibung von ontologischen Objekten sind, die unabhängig von unserem Denken existieren,… … Deutsch Wikipedia
Mathematischer Konstruktivismus — Der mathematische Konstruktivismus ist eine Richtung der Philosophie der Mathematik, die den Standpunkt vertritt, dass mathematische Aussagen keine Beschreibung von ontologischen Objekten sind, die unabhängig von unserem Denken existieren,… … Deutsch Wikipedia
Gödel'scher Unvollständigkeitssatz — Der gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik. Er beschäftigt sich mit der Ableitbarkeit von Aussagen in formalen Theorien. Der Satz zeigt die Grenzen der formalen Systeme ab einer bestimmten Mächtigkeit… … Deutsch Wikipedia
Gödels Satz — Der gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik. Er beschäftigt sich mit der Ableitbarkeit von Aussagen in formalen Theorien. Der Satz zeigt die Grenzen der formalen Systeme ab einer bestimmten Mächtigkeit… … Deutsch Wikipedia
Gödelscher Unvollständigkeitssatz — Der Gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik. Er beschäftigt sich mit der Ableitbarkeit von Aussagen in Formalen Sprachen. Der Satz zeigt die Grenzen der formalen Systeme ab einer bestimmten Mächtigkeit… … Deutsch Wikipedia
Satz von Gödel — Der gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik. Er beschäftigt sich mit der Ableitbarkeit von Aussagen in formalen Theorien. Der Satz zeigt die Grenzen der formalen Systeme ab einer bestimmten Mächtigkeit… … Deutsch Wikipedia
